$\forall$$A$, $B$:Type, $x$, $y$:$B$. inr($x$) $=$ inr($y$) $\in$ $A$+$B$ $\Rightarrow$ $x$ $=$ $y$